Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
271	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
272	PHENOMENAL DATA MINING: FROM DATA TO PHENOMENA John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:12:46 Customer experience management Customer Sales Data mining E-commerce Marketing Customer intelligence Examples of data mining
273	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Information science Technical communication Semantic Web Upper ontology Formal ontology Web Ontology Language Draft:Outline of ontologies Semantic interoperability
274	Replication of Assert Use in GitHub Projects Casey Casalnuovo, Prem Devanbu, Vladimir Filkov, Baishakhi Ray Computer Science Dept., Univ. of California, Davis {ccasal,ptdevanbu,vfilkov,abioliveira,bairay}@ucdavis.edu I. Add to Reading List Source URL: rayb.info Language: English - Date: 2016-08-19 22:20:15 Logic in computer science Formal methods Assertion Debugging Diff utility Software bug Merge Go Logarithm
275	Gain insights from data, your FIRM’S most valuable asset MSC IN Business Analytics Add to Reading List Source URL: business.ceu.edu Language: English - Date: 2015-10-21 08:32:06 Business intelligence Management science Formal sciences Central European University Business analytics Analytics CEU Business School INSEAD Data science Predictive analytics Master of Science in Quality Management and Analytics Prescriptive analytics
276	Re-engineering OntoSem Ontology Towards OWL DL Compliance Guntis BARZDINS, Normunds GRUZITIS and Renars KUDINS Institute of Mathematics and Computer Science, University of Latvia Raina bulv. 29, Riga, LV-1459, Latvia gun Add to Reading List Source URL: www.semti-kamols.lv Language: English - Date: 2006-08-31 04:24:10 Semantic Web Knowledge engineering Knowledge representation Ontology Information science Web Ontology Language Description logic Semantic reasoner Formal ontology Frame language Resource Description Framework Ontology engineering
277	An Ontology-based Method in Agent-based Modeling -- Land Use as a Case Study Kejin Cui Department of Geography University at Buffalo Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-30 10:39:21 Ontology Information science Knowledge representation Technical communication Semantic Web Upper ontology Formal ontology Agent-based model Ontology engineering Applied ontology
278	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
279	“Knowledge Management and Philosophy” Workshop in WM 2003 Conference, Luzern, 2-4 april, 2003 The Differentia Principle as a Cornerstone of Ontology Prof. Christophe ROCHE Université de Savoie - Campus Scientifique Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2003-06-04 11:08:20 Definition Ontology Semantic Web Information science Technical communication Differentia Species Web Ontology Language Genusdifferentia definition Being Upper ontology Formal ontology
280	Warfighters, Ontology, and Stovepiped Data, Information, and Information Technology Copyright 2012 E-MAPS, IncDemocracy Lane Add to Reading List Source URL: www.e-mapsys.com Language: English - Date: 2012-11-29 09:57:14 Ontology Knowledge representation Semantic Web Information science Web Ontology Language Definition Reality Category of being Upper ontology Formal ontology

UPDATE